On FSM-Based Fault Diagnosis
نویسندگان
چکیده
We study the problem of fault diagnosis, i.e., localization of difference(s) between an implementation and a specification in systems modelled by finite state machines. We show that even considering only a single fault in a finite state machine there are some situations when the exact diagnosis of the fault cannot be assured. We give an algorithm for fault diagnosis. If it is possible the procedure exactly locates a single fault, and in case exact localization is unfeasible it provides the set of all potential differences between the implementation and the specification.
منابع مشابه
On Testing and Diagnosis of Communication Protocols Based on the FSM Model
A formal analysis of the fault diagnosis capabilities of various FSM-based test sequence selection methods has been carried out’. It is shown’ that the Wp-method’ has the best faultresolution capability among all the known test sequence selection methods based on the FSM model when the implementation has at most one faulty transition. In this paper, we present a test sequence selection method w...
متن کاملSensor placement for leak monitoring
The goal of this chapter is to review recent developments on sensor placement for fault diagnosis in drinking water networks. Solving a sensor placement problem for fault diagnosis entails the evaluation of the diagnosis performance of a monitoring system for a certain sensor configuration. In model-based fault diagnosis the monitoring system is built upon a set of consistency indicators, which...
متن کاملFault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM Model
Different test sequence selection methods, namely, the Dmethod, C-method, W-method, T-method, U-method, Uvmethod and the Wp-method, are reviewed and analysed for their fault detection capabilities. We show that the C-method and the Uv-method do not provide complete fault coverage. These seven methods are formally analysed for their fault diagnosis capabilities under single fault assumption. Amo...
متن کاملA robust algorithm based on a failure sensitive matrix for fault diagnosis of power systems : An application on power transformers
In this paper, a robust algorithm for fault diagnosis of power system equipment based on a Failure-Sensitive Matrix (FSM) is presented. FSM is a dynamic matrix structure updated by multiple measurements (on-line) and test results (off-line) on the systems. The algorithm uses many different artificial intelligence (AI) and expert system (ES) methods for detecting the location of faults, emerging...
متن کاملA robust algorithm based on a failure-sensitive matrix for fault diagnosis of power systems: an application on power transformers
In this paper, a robust algorithm for fault diagnosis of power system equipment based on a failure-sensitive matrix (FSM) is presented. The FSM is a dynamic matrix structure updated by multiple measurements (online) and test results (offline) on the systems. The algorithm uses many different artificial intelligence and expert system methods for adaptively detecting the location of faults, emerg...
متن کامل